 <?hh
echo 42;
